Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
231	Engineering High Confidence Medical Device Software Arnab Ray Fraunhofer Center for Experimental Software Engineering [removed] Add to Reading List Source URL: sigbed.seas.upenn.edu Language: English - Date: 2009-08-13 22:42:24 Software development Software engineering Logic in computer science Software quality Static program analysis Formal verification Software development process Model checking Verification and validation Formal methods Software testing Theoretical computer science
232	Special Publication[removed]The Second Static Analysis Tool Exposition (SATE[removed]Vadim Okun Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:57 Program analysis LDRA Testbed Coverity Veracode Klocwork Vulnerability SofCheck Inspector Static program analysis GrammaTech Software Computing Software testing
233	Microsoft Word - Engler[removed]per-page.doc Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:57 Systems engineering Software assurance National Institute of Standards and Technology Static program analysis Vulnerability Software security assurance Fortify Software Software testing Computer security Software quality Software engineering Software development
234	Special Publication[removed]Static Analysis Tool Exposition (SATE[removed]Editors: Vadim Okun Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:57 Program analysis Cloud computing Veracode Vulnerability Fortify Software SofCheck Inspector Static program analysis Software bug Sonar Software Computing Software testing
235	Tools For JavaScript, Based On Static Analysis And Processing Kirill Cherkashin & Tsering Shrestha Javascript is a dynamic language Add to Reading List Source URL: kcherkashin.org Language: English - Date: 2014-05-06 19:52:31 Cross-platform software Program analysis Type theory JavaScript Type system Dynamic programming language Static program analysis Java C Computing Software engineering Programming language theory
236	A staged static program analysis to improve the performance of runtime monitoring Eric Bodden1 , Laurie Hendren1 , Ondˇrej Lhot´ ak2 1 Add to Reading List Source URL: www.bodden.de Language: English - Date: 2007-10-20 01:11:06 Aspect-oriented software development Aspect-oriented programming Mathematical logic Abstract algebra Linear algebra AspectJ Soot Enumeration Algorithm Algebra Software development Mathematics
237	Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States ∗ Eric Bodden Add to Reading List Source URL: www.bodden.de Language: English - Date: 2010-02-14 13:25:15 Software Formal methods Logic in computer science Runtime verification Static program analysis Pointer analysis NOP Type system Algorithm Program analysis Computing Programming language theory
238	Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos, CA 94022 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:36 Computer programming Logic in computer science Program analysis Abstract interpretation Static program analysis Astrée Formal verification Runtime verification Programming language Software engineering Computing Formal methods
239	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Ri Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:13 Software engineering Software quality Program analysis Software bug Java Pathfinder Static program analysis Model checking Debugging Verification and validation Software development Formal methods Software testing
240	Effective Typestate Verification in the Presence of Aliasing Stephen Fink∗ ∗ Eran Yahav∗ Nurit Dor† Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2006-07-26 21:44:02 Mathematics Data management Complexity classes NP Pointer analysis Pointer Abstraction Formal verification Shape analysis Theoretical computer science Static program analysis Applied mathematics